Example 3.1.3

  1. The Grothendieck group of the abelian semigroup. is isomorphic to ; and has the cancellation property.
  2. The Grothendieck group of the abelian semigroup is . And the semigroup has no cancellation.